/* Color definition */
@event_active: #dbc102;
@event_done: #a7aeb7;
@event_inactive: #282828;
@event_inactive_hover: #45484d;
@event_success: #143c78;
@event_fail: #64280a;
@nav: #eee;
/* Images */
@bg_body: url('images/bg-linen-lighter.png');
@bg_panel: url('images/bg-linen-gray.png');

/* HTML tag style */
body {
	background-image: @bg_body;
	margin: 0;
	padding: 0;
}
h1 {
	color: #000080;
}

/* Other */
.mainLayout {
	width: 100%;
	/*height: 100%;*/
	height: 'document.body.clientHeight';
}
.menuLayout {
	background-image: @bg_panel;
	width: 30%;
}
.menuLayout {
	width: 70%;
	overflow: auto;
}

/* Misc */
.rounded-corners (@radius: 5px) {
	-webkit-border-radius: @radius;
	-moz-border-radius: @radius;
	-ms-border-radius: @radius;
	-o-border-radius: @radius;
	border-radius: @radius;
}

.navigation {
	li {
		list-style-type: none;
		
	}
}

